Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
511	Statistical resolution of scope ambiguity in natural language Galen Andrew and Bill MacCartney 4 March Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 15:14:14 Semantics Mathematics Predicate logic Formal languages Sentence Model theory Regular expression Interpretation Cross-validation Logic Mathematical logic Quantification
512	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
513	Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking by Bryan Ford Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: bford.info Language: English - Date: 2010-09-29 09:18:52 Software engineering Computing Compiler construction Parsing expression grammar Syntactic predicate Top-down parsing LL parser Recursive descent parser Bottom-up parsing Formal languages Programming language implementation Parsing
514	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
515	CPMPrefix-Free Regular-Expression Matching Yo-Sub Han∗ , Yajun Wang and Derick Wood Department of Computer Science Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2005-07-08 16:23:53 Theoretical computer science Combinatorics Pattern matching Regular expression Matching Substring String Regular language Approximate string matching Formal languages Automata theory Mathematics
516	OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computing Programming language implementation Syntactic predicate Parsing expression grammar LL parser Viewpoints Research Institute Scannerless parsing Compiler-compiler COLA Formal languages Software engineering Parsing
517	Unlocking the Power of Unstructured Data WHITE PAPER Sponsored by: IBM Global Headquarters: 5 Speen Street Framingham, MAUSA Add to Reading List Source URL: www-01.ibm.com Language: English - Date: 2014-11-20 11:27:30 Information science Data analysis Natural language processing Statistical natural language processing Formal sciences Analytics Unstructured data Text mining Text analytics Science Statistics Business intelligence
518	CS109B Notes for LectureNondeterministic Automata Looking for Substrings We can build an NFA to recognize a string that ends in any given substring a1a2 a if we: Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:53 Combinatorics Mathematics Regular expression Regular language String Powerset construction Concatenation Finite-state machine Deterministic finite automaton Formal languages Automata theory Theoretical computer science
519	‘NEDERLANDSE CONCEPTENBIBLIOTHEEK (CB-NL)’ Add to Reading List Source URL: www.rijkswaterstaat.nl Language: English - Date: 2014-04-05 02:57:36 Knowledge representation Science Information science Technical communication Web Ontology Language .nl Knowledge representation and reasoning Cyc Formal ontology Ontology Information Semantic Web
520	SPIED: Stanford Pattern-based Information Extraction and Diagnostics Sonal Gupta Christopher D. Manning Department of Computer Science Stanford University {sonal, manning}@cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-06-26 22:01:01 Natural language processing Data analysis Data mining Formal sciences Information extraction Entity-relationship model Machine learning Biomedical text mining Named-entity recognition Science Computational linguistics Knowledge

UPDATE